Computational Semantics with Functional Programming

ing from the domain of discourse, we can say that determiner interpretations (henceforth simply called determiners) pick out binary relations on sets of individuals, on arbitrary domains of discourse E. The notation is DEAB. We call A the restriction of the quantifier and B its body. If DEAB is the translation of a simple sentence consisting of a quantified noun phrase with an intransitive verb phrase, then the noun denotation is the restriction and the verb phrase denotation the body. So in the example All dwarfs work, the NP all dwarfs is the restriction of the determiner all, and the VP work is the body. See Figure 7.2 for a general graphical representation. Fig. 7.2. Interpretation of DEAB as a relation between sets A and B E